• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۵۵ پاسخ غیر تکراری از ۵۵ پاسخ تکراری در مدت زمان ۰,۸۱ ثانیه یافت شد.

1. An Attribute grammar for the semantic analysis of ADA

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: J. Uhl [and others].

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Ada (Computer program language),Ada (Langage de programmation),Programming languages (Electronic computers) -- Semantics.

Classification :
QA76
.
73
.
A35
J845
1982

2. An Attribute grammar for the semantic analysis of ADA

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Ada )Computer program language(,، Programming languages )Electronic computers(-- Semantics

Classification :
QA
76
.
73
.
A35
.
A87
1982

3. Cognitive modeling and verbal semantics :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: by Andrea C. Schalley

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Cognitive grammar,Programming languages (Electronic computers)-- Semantics,Semantics-- Mathematical models,UML (Computer science)

Classification :

4. Complementary definitions of programming language semantics

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Donahue, James Edward

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Programming languages )Electronic computers(,، Pascal )Computer program language(,، Semantics

Classification :
QA
76
.
7
.
D66

5. Complementary definitions of programming language semantics

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / James E. Donahue

Library: Library of College of Science University of Tehran (Tehran)

Subject: Programming languages (Electronic computers),Pascal (Computer program language),Semantics

Classification :
QA
76
.
7
.
D66

6. Computational Semantics with Functional Programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jan Van Eijck and Christina Unger

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Programming languages (Electronic computers) -- Semantics,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه‌نویسی کامپیوتر -- معنی شناسی,زبان های برنامه نویسی تابعی (علوم کامپیوتر),هسکل (زبان برنامه نویسی کامپیوتر)

Classification :
QA76
,.
7
.
E43
2010

7. Computational semantics with functional programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Jan van Eijck and Christina Unger.

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Programming languages (Electronic computers)-- Semantics.,Functional programming (Computer science),Haskell (Computer program language),زبان های برنامه نویسی کامپیوتر -- معنی شناسی ,زبان های برنامه نویسی تابعی -- علوم کامپیوتر,(هسکل(زبان برنامه نویسی کامپیوتر

Classification :
QA
76
.
7
.
E35C6
2010
E-Book
,

8. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
6
.
P45
2002

9. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics

Classification :
QA
76
.
9
.
D35
.
I351
1995

10. Domain-theoretic foundations of functional programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Thomas Streicher

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)

Classification :
QA
76
.
7
.
S818
2006

11. Fairness

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Nissim Francez

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(

Classification :
QA
76
.
6
.
F72
1986

12. Formal syntax and semantics of Java

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Jim Alves-Foss )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Java )Computer program language(,، Programming languages )Electronic computers( -- Semantics

Classification :
QA
76
.
L28
Vol
.
1523

13. Formal syntax and semantics of Java

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jim Alves-Foss (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Java (Computer program language),Programming languages (Electronic computers)--Semantics

Classification :
QA
,
76
.
73
,.
J38
,
F67
,
1999

14. Formal syntax and semantics of Java

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Java (Computer program language) ; Programming languages (Electronic computers) ; Semantics ;

Classification :

15. Initial computability, algebraic specifications, and partial algebras

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / by Horst Reichel

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

Classification :
QA
76
.
9
.
M35R45
1987

16. Introduction to natural language processing

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Harris, Mary Dee

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: ، Interactive computer system,Semantics ، Programming languages )Electronic computers(

Classification :
QA
76
.
9
.
I58
H37
1985

17. Introduction to the theory of programming languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Meyer, Bertrand

Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

Subject: ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(

Classification :
QA
76
.
7
.
M49
1991

18. Introduction to the theory of programming languages

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Bertrand Meyer

Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)

Subject: Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics

Classification :
QA76
.
7
.
M49
1988

19. Journal on data semantics VII

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Database management. ; Programming languages (Electronic computers) ; Semantics. ; Semantic integration (Computer systems) ; Semantic networks (Information theory) ;

Classification :

20. Language, logic, and computation :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

Classification :
QA76
.
9
.
L63
  • »
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival